Using Jackson Structured Programming (JSP) and Jackson Workbench to Teach Program Design
نویسنده
چکیده
Teaching how to program independently of teaching a programming language has been recognized as a worthwhile goal in computer science pedagogy, but many have abandoned the goal as being impossible to achieve in practice. Jackson Structured Programming (JSP) is a well-documented and proven program design method that is independent of any programming language. CASE tools have generally been used in designing information systems rather than programs. Jackson Workbench (Keyword Computer Services Limited, 2002) is a CASE tool for designing programs (as well as information systems) that generates executable program code in several contemporary programming languages (Visual BASIC, Java, C++). Jackson Workbench contains a unique Structure Ed itor that uses “hotspots” to draw and syntactically validate program tree structure diagrams. As a result, the user can focus entirely on the design process, and leave the details of drawing to the CASE tool.
منابع مشابه
The Jackson Development Methods
The Jackson Development Methods are JSP (Jackson Structured Programming) and JSD (Jackson System Development). JSP is a method for designing programs as compositions of sequential processes; JSD is a method for specifying and designing systems whose application domain has a strong temporal flavour and contains objects whose behaviour is describable in terms of sequences of events. Many program ...
متن کاملTowards A CASE Tool for Jackson’s JSP, JSD and Problem Frames
The development of a CASE tool that supports Jackson’s methods – Problem Frames, JSD and JSP is urged and justified. Jackson’s methods are sound, and fundamental ideas about design provide unity to his thought; in short, his contributions deserve to be part of the software engineering curriculum. A CASE tool would help to achieve this end. Moreover, teachers need a CASE tool to teach software e...
متن کاملThe Michael Jackson Design Technique: A study of the theory with applications
This paper reproduces a report written by Hoare in 1977, in which he explains the fundamental ideas of Jackson’s programming method, JSP. The notions that Hoare uses for this purpose – program traces, selective traces, and combination of selective programs – appeared in the following years in the conceptual foundation of his process algebra, CSP. Hoare shows that the key step in the JSP method,...
متن کاملGeneration of File Processing Programs Based on JSP
SUMMARY This paper describes the generation of file processing programmes within the TUBA environment. Program structures are derived from data structures according to the JSP method. Expressions describing output data are specified in user-system dialogues. The program specifications are stored in the dictionary. Complete executable programs can be generated from these specifications.
متن کاملOn the Conversion of Program Specifications into Pseudo Code Using Jackson Structured Programming
The objective of our research is to investigate to what extent a programming method can be automated. Current CASE tools are only able to automate programming methods to a very limited extent, whereas our technique automates the entire programming cycle by creating pseudo code from program specifications. We show that the JSP programming method can be transformed into a set of formal rules when...
متن کامل